REDUCTION MODULO pn OF p -ADIC SUBANALYTIC SETS
نویسنده
چکیده
منابع مشابه
Analytic P-adic Cell Decomposition and P-adic Integrals
Roughly speaking, the semialgebraic cell decomposition theorem for p-adic numbers describes piecewise the p-adic valuation of p-adic polyno-mials (and more generally of semialgebraic p-adic functions), the pieces being geometrically simple sets, called cells. In this paper we prove a similar cell decomposition theorem to describe piecewise the valuation of analytic functions (and more generally...
متن کاملANALYTIC p-ADIC CELL DECOMPOSITION AND INTEGRALS
We prove a conjecture of Denef on parameterized p-adic analytic integrals using an analytic cell decomposition theorem, which we also prove in this paper. This cell decomposition theorem describes piecewise the valuation of analytic functions (and more generally of subanalytic functions), the pieces being geometrically simple sets, called cells. We also classify subanalytic sets up to subanalyt...
متن کاملArithmetic and Geometric Applications of Quantifier Elimination for Valued Fields
We survey applications of quantifier elimination to number theory and algebraic geometry, focusing on results of the last 15 years. We start with the applications of p-adic quantifier elimination to p-adic integration and the rationality of several Poincar series related to congruences f(x) = 0 modulo a prime power, where f is a polynomial in several variables. We emphasize the importance of p-...
متن کاملLIPSCHITZ CONTINUITY PROPERTIES FOR p-ADIC SEMI-ALGEBRAIC AND SUBANALYTIC FUNCTIONS
We prove that a (globally) subanalytic function f : X ⊂ Qp → Qp which is locally Lipschitz continuous with some constant C is piecewise (globally on each piece) Lipschitz continuous with possibly some other constant, where the pieces can be taken to be subanalytic. We also prove the analogous result for a subanalytic family of functions fy : Xy ⊂ Qp → Qp depending on p-adic parameters. The stat...
متن کاملOne-Dimensional Fibers of Rigid Subanalytic Sets
Let K be an algebraically closed eld of any characteristic, complete with respect to the non-trivial ultrametric absolute value jj : K ! R +. By R denote the valuation ring of K, and by } its maximal ideal. We work within the class of subanalytic sets deened in L2], but our results here also hold for the strongly subanalytic sets introduced in S] as well as for those subanalytic sets considered...
متن کامل